Modeling and Controller Synthesis for Resource Booking Problems Using Bdds
نویسنده
چکیده
Mixed Process algebra and Petri Nets (MPPN) combine Petri net constructs and Process algebra. The modeling language implies a compact representation of complex systems. For general resource booking problems MPPN is used for routing speci cations and modeling of resources. These models are formally con verted into ordinary Petri nets. The Petri net representations are easily converted into eÆcient Binary Decision Diagram (BDD). The BDDs are then used used for controller synthesis. It is sho wnthat in speci c cases very few boolean variables are required in the BDD representation based on MPPN. This is crucial in order to calculate a controller eÆciently.
منابع مشابه
Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets
A modeling framework for general routing and resource booking problems is presented. The task is to specify desired routes for individual objects (products, data packets, vehicles), which are to be served by a number of shared resources (machines, computers, communication links). Based on simple booking models for the resources and routing specifications for the objects, a controller that synch...
متن کاملDiscrete Event Models in Batch Control1
An automata-based approach for the modeling of batch plants as well as products is presented. The different units of a plant are modeled as bounded Petri nets and products are represented by way of their recipes. With the focus on synchronization and booking issues, we propose general Petri net building-blocks for the construction of these recipes. Both, resource and recipe models support forma...
متن کاملNonlinear Modeling and Optimal Output Control of Two Wheeled Balancing Transporter
In this paper an optimal controller is proposed for a self-balancing electrical vehicle called Segway PT. This vehicle has one platform and two wheels on the sides and the rider stands on the platform. A handlebar, as a navigator, is attached to the body of Segway, with which the rider controls the vehicle. Since Segway uses electrical energy produced by batteries, resource consumption manageme...
متن کاملRobust Controller Design for IG Driven by Variable-Speed in WECS Using μ-Synthesis
This paper presents robust controller design for a wind-driven induction generator system using structured singular value ( -synthesis) method. The controller was designed for a static synchronous compensator (STATCOM) and a variable blade pitch angle in a wind energy conversion system (WECS) in order to achieve the required voltage and mechanical power control. The results indicated that this ...
متن کاملPlanning in the Fluent Calculus Using Binary Decision Diagrams
As a part of my group’s activities on the extension of the fluent calculus (Hölldobler and Schneeberger 1990; Thielscher 1998), I’ve been working to provide an efficient inference engine for the fluent calculus by using the efficiency of binary decision diagrams (BDDs) (Bryant 1986). In the past, BDDs have significantly improved the performance of algorithms and enabled the solution of new clas...
متن کامل